l{-}union(${\it eq}$;${\it as}$;${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$a$,$L$. insert($a$;$L$);${\it as}$;${\it bs}$)